An Overview of Formal Specification Languages and their Adequacy for Formalizing the Definition of Function Points
نویسنده
چکیده
Function point is the most widely used functional size measure in the software industry. It serves several purposes like software cost estimation, productivity management, quality management, benchmarking, outsourcing management, and several others. The goal of project FP-Formal, a research project funded by Bell Canada, is to formalize the function point measure in order to automate its calculation and to reduce measurement variance and costs. In this report, we analyse a set of formal specification languages and evaluate their adequacy for specifying industrial information systems and for formalizing the function point measure.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملMachine Learning Biochemical Networks from Temporal Logic Properties
One central issue in systems biology is the definition of formal languages for describing complex biochemical systems and their behavior at different levels. The biochemical abstract machine BIOCHAM is based on two formal languages, one rule-based language used for modeling biochemical networks, at three abstraction levels corresponding to three semantics: boolean, concentration and population;...
متن کاملFormalizing adequacy
Adequacy is an important criterion for judging the correctness of formal reasoning. The issue is particularly subtle in the expansive case of approaches to languages with name-binding. We posit that adequacy of a novel representation technique is best addressed by formalizing an isomorphism or, more generally, an interpretation explicating the new approach in terms of a more conventional one. W...
متن کاملWho Is a Bilingual?
The question of who is and who is not a bilingual is more difficult to answer than it first appears. Bilingualism was long regarded as the equal mastery of two languages, a definition that still prevails in certain glossaries of linguistics. However, today's complex world requires a more exact definition and analysis of the competencies that community members require to interact with speakers o...
متن کاملپیشگیری از بازگشت : معرفی مدل رفتاری - شناختی مارلات
High rate of relapse after apparently successful treatment is a common problem facing with most approaches to treatment of drug dependency. This has led to the development of a variety of strategies for relapse prevention. Among these, Marlatt’s cognitive – behavioural model has received a good deal of attention. It is based on two major axes: Identification of warning sings and development of ...
متن کامل